7841. Variations on constants
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Parallel programming (Computer science) ; Sequential processing (Computer science) ; Mathematical constants. ; Variables (Mathematics) ; Computer programs ; Correctness. ; Constantes (Math?matiques) ; Logiciels ; Exactitude. ; Programmation parall?le (Inf
7842. Variations on constants
پدیدآورنده : / Markus M?�ller-Olm
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Parallel programming (Computer science),Sequential processing (Computer science),Mathematical constants.,Variables (Mathematics),Computer programs--Correctness
رده :
QA
,
76
.
642
,.
M85
,
2006
7843. Vector game math processors
پدیدآورنده : / James Leiterman
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Vector processing (Computer science),Computer games- Programming,Supercomputers- Programming,Computer science- Mathematics,Algorithms
رده :
QA76
.
5
.
L446
2003
7844. Vector game math processors
پدیدآورنده : James Leiterman
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms,Computer games-- Programming,Computer science-- Mathematics,Supercomputers-- Programming,Vector processing (Computer science)
رده :
QA76
.
5
.
L446
2003eb
7845. Vererbung für Systementwickler :
پدیدآورنده : Jürgen Kunz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Object-oriented databases.,Object-oriented programming (Computer science)
7846. Verifiable programming
پدیدآورنده : Dahl, Ole-Johan
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Computer programs - Verification
رده :
QA
76
.
76
.
V47
D34
1992
7847. Verification, Model Checking, and Abstract Interpretation :
پدیدآورنده : edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2013
7848. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
7849. Verification, induction, termination analysis
پدیدآورنده : Simon Siegler, Nathan Wasser (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Walther, Christoph,Functional programming (Computer science)
رده :
QA76
.
62
.
V47
2010eb
7850. Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
پدیدآورنده : Bernhard Steffen, Giorgio Levi )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
2937
7851. Verified software
پدیدآورنده : / Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer programs--Verification--Congresses,Software.--swd,Verifikation.--swd,Programmtest.--swd,Programmanalyse.--swd,Programmverifikation.--swd,Formale Methode.--swd,Edinburgh <2010>--swd
رده :
QA
,
76
.
76
,.
V47
,
V59
,
2010
7852. Verified software :
پدیدآورنده : Ruzica Piskac, Philipp Rümmer (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
7853. Verified software
پدیدآورنده : \ Arie Gurfinkel , Sanjit A. Seshia (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,کامپیوتر,a03,a03,Computer programming.,Software engineering.,برنامه‌نویسی ,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
QA
76
.
V4
2016
E-Book
,
7854. Verified software: theories, tools, experiments
پدیدآورنده : Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses
رده :
QA76
.
76
.
V47
V73
2012eb
7855. Video Games and Well-being :
پدیدآورنده : edited by Rachel Kowert.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Clinical psychology.,Computer games-- Programming.,Digital media.,Educational technology.,Psychiatry.,Psychology, Applied.,Video games-- Psychological aspects.,Psychology, Applied.,Clinical psychology.,Computer games-- Programming.,Digital media.,Educational technology.,Psychiatry.,Psychology, Applied.,Video games-- Psychological aspects.
رده :
RC466
.
8
7856. Virtual Environments '99
پدیدآورنده : proceedings of the Eurographics Workshop in Vienna, Austria, May 31 - June 1, 1999 ; (eds) M. Gervautz ... [et al.].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : RÉALITÉ VIRTUELLE + CYBERESPACE (SIMULATION PAR ORDINATEUR),VIRTUAL ENVIRONMENTS (COMPUTER SIMULATION),VIRTUAL ENVIRONMENTS (COMPUTERSIMULATION)
رده :
QA76
.
9
.
H85
P763
1999
7857. Virtual Environments and Scientific Visualization '96 :
پدیدآورنده : edited by Martin Göbel, Jacques David, Pavel Slavik, Jarke J. Wijk.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
T385
.
E358
1996
7858. Virtual memory management
پدیدآورنده : / by Richard William Carr
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Electronic digital computers - Programming,Virtual storage (Computer science)
رده :
QA76
.
6
.
C377
7859. Vision, modeling, and visualization 2000
پدیدآورنده :
کتابخانه: Central library of medical university of Isfahan (Esfahan)
موضوع : Visual programming (Computer science)- Congresses,Vision- Data processing- Congresses,Visualization- Data processing- Congresses,Object-oriented programming (Computer science)- Congresses
رده :
QA76
.
65
.
I5
2000
